For a given subgroup, each coset is represented by one of its elements

Metadata
aliases: []
shorthands: {}
created: 2021-12-06 12:43:09
modified: 2022-01-10 04:13:04

Statement: For a given subgroup, each coset is fully represented (that is, it can be completely reproduced) by either of its elements:

Proof

Question: ?

Since , therefore . QED.